clayperon's theorem